Parallel Consistency Checking of Automotive Product Data
نویسنده
چکیده
This paper deals with a parallel approach to the verification of consistency aspects of an industrial product configuration data base. The data base we analyze is used by DaimlerChrysler to check the orders for cars and commercial vehicles of their Mercedes lines. By formalizing the ordering process and employing techniques from symbolic computation we could establish a set of tools that allow the automatic execution of huge series of consistency checks, thereby ultimately enhancing the quality of the product data. However, occasional occurrences of computation intensive checks are a limiting factor for the usability of the tools. Therefore, a prototypical parallel re-implementation using our Distributed Object-Oriented Threads System (DOTS) was carried out. Performance measurements on a heterogeneous cluster of sharedmemory multiprocessor Unix workstations and standard Windows PCs revealed considerable speed-ups and substantially reduced the average waiting time for individual checks. We thus arrive at a noticeable improvement in usability of the consistency checking tools.
منابع مشابه
SAT-Based Consistency Checking of Automotive Electronic Product Data
Complex products such as motor vehicles or computers need to be configured as part of the sales process [3, 8]. If the sale is electronic, then the configuration and some validity checking of the order must be done electronically as part of an electronic product data management system (EPDMS). The EPDMS typically maintains a data base of sales options and parts together with a set of logical co...
متن کاملVerifikation regelbasierter Konfigurationssysteme
We address the parallelization and distributed execution of an algorithm from the area of symbolic computation: propositional satisfiability (SAT) checking with dynamic learning. Our parallel programming models are strict multithreading for the core SAT checking procedure, complemented by mobile agents realizing a distributed dynamic learning process. Individual threads treat dynamically create...
متن کاملRobust fault detection using consistency techniques with application to an automotive engine
Monitoring of the air intake system of an automotive engine is important to meet emission related legislative diagnosis requirements. In this paper, the problem of fault detection in the air intake system is stated as a constraint satisfaction problem over continuous domains with a big number of variables and constraints. This problem can be solved using Consistency Techniques. Consistency tech...
متن کاملFormal methods for the validation of automotive product configuration data
In the automotive industry, the compilation and maintenance of correct product configuration data is a complex task. Our work shows how formal methods can be applied to the validation of such business critical data. Our consistency support tool BIS works on an existing data base of Boolean constraints expressing valid configurations and their transformation into manufacturable products. Using a...
متن کامل